Buy Used and New Mathias Soeken Books

Formal Specification Level: Concepts, Methods, and Algorithms

by Mathias Soeken,Rolf Drechsler

ISBN 13: 9783319086989

Format: Hardcover (148 pages)
Publisher: Springer
Published: 30 Nov 2014

Save for later

Formal Specification Level: Concepts, Methods, and Algorithms

by Mathias Soeken, Rolf Drechsler

ISBN 13: 9783319378824

Format: Paperback (148 pages)
Publisher: Springer
Published: 03 Aug 2016

Save for later

Advanced Boolean Techniques: Selected Papers from the 13th International Workshop on Boolean Problems

by Rolf Drechsler, Mathias Soeken

ISBN 13: 9783030203221

Format: Hardcover (273 pages)
Publisher: Springer
Published: 17 Jul 2019

Save for later